16 results
Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
- Print publication:
- March 1975
-
- Article
- Export citation
R. Martin. Logique mathématique. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 52–53. - G. Sabbagh. Logique mathématique. 1. Généralités. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 53–56. - I. Reznikoff. Logique mathématique. 2. Théorie lie la démonstration et intuitionnisme. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 57–64. - G. Sabbagh. Logique mathématique. 3. Théorie des modèles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 65–66. - G. Sabbagh. Logique mathématique. 4. Théorie axiomatique des ensembles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 66–71. - G. Sabbagh. Logique mathématique. 5. Décidabilité et fonctions récursives. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 (1971), pp. 71–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 341
- Print publication:
- June 1973
-
- Article
- Export citation
M. E. Szabo (ed.). The collected papers of Gerhard Gentzen. Amsterdam and London: North Holland Publishing Co., 1969. xii + 338 pp. np.
-
- Journal:
- Philosophy of Science / Volume 39 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 14 March 2022, p. 91
- Print publication:
- March 1972
-
- Article
- Export citation
G. É. Minc. Poditor térmoν ν kvantornyh pravilah konstruktiνnogo isčisléniá predikátov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 112–122. - G. E. Mints. Choice of terms in quantifier rules of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969, pp. 43–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 525
- Print publication:
- September 1971
-
- Article
- Export citation
G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
- Print publication:
- September 1971
-
- Article
- Export citation
G. É. Minc. Skolèmovskij métod eliminacii položitél'nyh kvantorov v sékvéncial'nyh isčisléniáh. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 24–27. - G. E. Minc. Skolem's method of elimination of positive quantifiers in sequential calculi. English translation of the preceding by L. Ebner. Soviet mathematics, vol. 7 no. 4 (1966), pp. 861–864.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
- Print publication:
- September 1971
-
- Article
- Export citation
G. É. Minc. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 783–786. - G. É. Minc. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by R. N. Goss. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1712–1715.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-525
- Print publication:
- September 1971
-
- Article
- Export citation
G. É. Minc. Analog téorémy Erbrana dlá néprédvarénnyh formul konstruktivnogo isčisléniá prédikatov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 123–133. - G. E. Mints. Analog of Herbrand's theorem for [non] prenex formulas of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969. pp. 47–51. (See Erratum, Studies in constructive mathematics and mathematical logic, Part II edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, p. 136.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 525-526
- Print publication:
- September 1971
-
- Article
- Export citation
G. E. Minc. Teoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional′nymi simvolami. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 273–275. - G. E. Minc. Herbrand's theorem for the predicate calculus with equality and functional symbols. English translation of the preceding by Leo F. Boron. Soviet mathematics, vol. 7 no. 4 (1966), pp. 911–914.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
- Print publication:
- June 1970
-
- Article
- Export citation
G. E. Minc. Priložénié. Téoréma Erbrana (Appendix. Herbrand's theorem). Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 (1954), pp. 311–350.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-325
- Print publication:
- June 1970
-
- Article
- Export citation
A. V. Idél′son and G. E. Minc. Prédislovie rédaktorov (Editor's foreword). Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 5–8. - Gerhard Gentzen. Isslédovaniá logičéskih vyvodov. Russian translation of 4422 by A. V. Idél′son, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 9–74. - A. V. Idél′son. Dobavlénié pérévodčika (Translator's addition). Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 75–76. - Gerhard Gentzen. Néprotivoréčivost′ čistoj téorii čisél. Russian translation of I 75 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 77–153. - Gerhard Gentzen. Novoé izložénié dokazatél′stva néprotivoréčivosti dlá čistoj téorii čisél. Russian translation of IV 31 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 154–190. - E. W. Beth. Métod sémantičéskih tablic. Russian translation of paragraph 67 omitting the examples, and of portions of paragraphs 68, 70, and 92 of XXVII 73 by A. O. Slisénko, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 191–199. - Stig Kanger. Uproščénnyj métod dokazatél′stva dlá eléméntarnoj logiki. Russian translation of XXXII 119 by S. Ú. Maslov, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 200–207. - S. C. Kleene. Péréstanovočnost′ priménénij pravil v géncénovskih isčisléniáh LK i LJ. Russian translation of XIX 62(1) by V. P. Orévkov and A. V. Sočilina, with added footnotes by the translators. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 208–236. - S. C. Kleene. Konéčnaá aksiomatiziruémost′ téorij v isčislénii prédikatov s pomošč′ú dopolnitél′nyh prédikatnyh simvolov. Russian translation of XIX 62(2) by G. V. Davidov, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 237–284. - K. Schütte. Intérpolácionnaá téoréma dlá intuicionistskoj logiki prédikatov. Russian translation of XXIX 145 by A. O. Slisénko. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 285–295.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 323
- Print publication:
- June 1970
-
- Article
- Export citation
N. I. Stážkin. Formirovanié matématičéskoj logiki (Formation of mathematical logic). Izdatél′stvo “Nauka.”Moscow1967. 508 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 465
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Ludovico Geymonat. Analisi critica del recente indirizzo di logica formale del Carnap. Memorie delia R. Accademia delle Scienze di Torino, Part II, Classe di scienze morali, storiche e filologiche, ser. 2 vol. 70 no. 7 (1942), pp. 267–281.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 317
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Hans Hermes. Zur Geschichte der mathematischen Logik und Grundlagenforschung in den letzten fünfundsiebzig Jahren. Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 68 (1966), pp. 75–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Alberto Pasquinelli. Introduzione alla logica simbolica. Second printing. With a preface by Ludovico Geymonat. Biblioteca di cultura scientifica. Paolo Boringhieri, Turin1963, x + 118 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
- Print publication:
- June 1967
-
- Article
- Export citation
Hans Reichenbach. Elements of symbolic logic. Second, paper-bound, edition of XIV 50. The Free Press, New York, and Collier-Macmillan Limited, London, 1966, xiii + 444 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
- Print publication:
- December 1966
-
- Article
- Export citation